$t$.1 $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $x$,$y$ = $t$ in $x$